Spin { an Extensible Microkernel for Application-speciic Operating System Services
نویسندگان
چکیده
Application domains such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating systems provide xed interfaces and implementations to system services and resources. This makes them inappropriate for applications whose resource demands and usage patterns are poorly matched by the services provided. The SPIN operating system enables system services to be de ned in an application-speci c fashion through an extensible microkernel. It o ers applications ne-grained control over a machine's logical and physical resources through run-time adaptation of the system to application requirements.
منابع مشابه
An Extensible Protocol Architecture for Application-speciic Networking
Plexus is a networking architecture that allows applications to achieve high performance with customized protocols. Application-speciic protocols are written in a typesafe language and installed dynamically into the operating system kernel. Because these protocols execute within the kernel, they can access the network interface and other operating system services with low overhead. Protocols im...
متن کاملAn Extensible Protocol Architecture for Application-Specific Networking
Plexus is a networking architecture that allows applications to achieve high performance with customized protocols. Application-speciic protocols are written in a typesafe language and installed dynamically into the operating system kernel. Because these protocols execute within the kernel, they can access the network interface and other operating system services with low overhead. Protocols im...
متن کاملService without Servers
We propose a new style of operating system architecture appropriate for microkernel-based operating systems: services are implemented as a combination of shared libraries and dedicated server processes. Shared libraries implement performance critical portions of each system service, while dedicated servers implement the parts of each service that do not require high performance or that are diic...
متن کاملSYSTEM CALL SUPPORT IN AN EXTENSIBLE OPERATING SYSTEM 3 Thread Device Dynamic
SUMMARY Extensible operating systems such as SPIN and Vino enable applications to download code to extend kernel functionality safely. A key component of such systems is the system call mechanism by which user programs and kernel extensions communicate with each other. In this paper, we describe an architecture to support user-deened system call handlers in the SPIN operating system. We have de...
متن کاملCAmkES: A component model for secure microkernel-based embedded systems
Component-based software engineering promises to provide structure and reusability to embeddedsystems software. At the same time, microkernel-based operating systems are being used to increase the reliability and trustworthiness of embedded systems. Since the microkernel approach to designing systems is partially based on the componentisation of system services, component-based software enginee...
متن کامل